Section: Dissemination

Scientific Animation

Organization

• Dale Miller served on the Program Committee of Tableaux 2013, 16-19 September, Nancy, France.

• Dale Miller is the editor-in-chief of the ACM Transactions on Computational Logic (ToCL) (June 2009 - May 2015).

• Dale Miller has editorial duties on the following three other journals: Journal of Automated Reasoning, published by Springer (member of Editorial Board since 2011), Theory and Practice of Logic Programming published by Cambridge University Press (an editorial advisor since 1999), and Journal of Applied Logic, published by Elsevier (an area editor for “Type Theory for Theorem Proving Systems” since 2003).

• Dale Miller is a member of the selection jury for the 2013 E. W. Beth Dissertation Award of the Association for Logic, Language and Information.

Invited Talks

• François Lamarche gave a total of eight hours of lectures on path functors at the Groupe de Travail sur les Catégories supérieures, polygraphes et homotopie at the PPS laboratory, Université Paris VII.

• Dale Miller gave an invited talk at LFMTP 2013: Logical Frameworks and Meta-Languages: Theory and Practice, affiliated with ICFP’13, Boston, 23 September 2013.

• Dale Miller is on the Advisory Board for LICS (for 2012 - 2015) and is a member of the Steering Committee of CPP since 2012.

• Dale Miller gave invited departmental colloquia at the College of Engineering and Computer Science, Australian National University, 14 May and the Department of Mathematics and Computer Science, Freie Universität Berlin, 22 February.